1. Fifth Annual IEEE Symposium on Logic in Computer Science, Jun 4-7, 1990, Philadelphia, PA
پدیدآورنده: sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing...]et al.[
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Logic programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
I56
F45
1990
